O anseio deste artigo acadêmico é introduzir os conceitos gerais da teoria de sistemas de Niklas Luhmann. Para atingir seus objetivos, esta teoria é hermética e filosófica, com uma ampla gama de definições e busca apresentar um conjunto de conceitos que proporcionem um suporte adequado para a sociedade como um todo. Luhmann abordou a questão da complexidade em vários estudos e desenvolveu uma metodologia baseada em uma noção de sistemas autopoiéticos, funcionalmente fechados e distintos. A observação de segunda ordem é (...) um dos conceitos centrais da teoria de sistemas de Luhmann, assim como a comunicação é elemento importante na formação dos sistemas sociais e na sua distinção de outros sistemas existentes. O método utilizado na presente pesquisa foi uma revisão qualitativa de literatura acadêmica sobre o assunto. (shrink)

Nosotres, biólogues, ecologistas y otres profesionales dedicados a proteger la vida, les escribimos con una solicitud urgente. Les pedimos muy comedidamente que su organización o institución emita un comunicado oficial condenando la crisis en curso y abordando los impactos ambientales y humanitarios en Palestina.

According to Composition is Identity, a whole is literally identical to the plurality of its parts. According to Mereological Nihilism, nothing has proper parts. In this note, it is argued that Composition is Identity can be shown to entail Mereological Nihilism in a much more simple and direct way than the one recently proposed by Claudio Calosi.

The enormous increasing of connections between people and the noteworthy enlargement of domains and methods in sciences have augmented extraordinarily the cardinality of the set of meaningful human symbols. We know that complexity is always on the way to become complication, i.e. a non-tractable topic. For this reason scholars engage themselves more and more in attempting to tame plurality and chaos. In this book distinguished scientists, philosophers and historians of science reflect on the topic from a multidisciplinary point of view. (...) Is it possible to dominate complexity through reductionism? Are there other conceptual instruments useful to take account of complexity? What is complexity in biology, mathematics, physics and philosophy of mind? These are some of the questions which are faced in this volume. (shrink)

Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and propos- ing a formal approach to characterise (...) them. We conclude the presentation with a discussion and analysis of social groups within this framework. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements (...) (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

En este trabajo nos referiremos al debate entre internismo y externismo epistemológicos a partir del episodio que constituye el debate entre Michael Williams y Alvin Goldman, que se expresa en el intercambio de trabajos presente en el volumen del año 2016 Goldman and his critics. Enmarcaremos esta discusión señalando que, mientras una serie de autores (en particular Laurence BonJour y, siguiendo su influencia, Jennifer Lackey y Fernando Broncano) extrae del debate internismo/externismo la consecuencia “dualista” de que el conocimiento no puede (...) analizarse según un único eje, sino que hallamos al menos dos -el de la razonabilidad subjetiva y el de la conductividad a la verdad-, Goldman se presenta como un externista de “línea dura” para el cual el internismo es simplemente insostenible y la justificación epistémica ha de comprenderse exclusivamente en términos confiabilistas. Sobre este trasfondo, analizaremos la propuesta de Williams, quien por un lado busca probar que las críticas de Goldman al internismo quedan restringidas a una versión “mentalista” o “subjetivista”, y, por el otro, busca ratificar una epistemología internista moderada apoyándose en el señalamiento de que el conocimiento humano es indisociable de consideraciones de responsabilidad (accountability). Buscaremos probar que la réplica de Goldman, que se centra en denunciar una presunta confusión por Williams entre el problema del “estar justificado” y el del “justificar”, no hace justicia a la amplitud del problema de la justificación epistémica, una vez que este es abordado, no a partir de presuntas “intuiciones” sobre el significado de “conocimiento” en el lenguaje ordinario, sino a partir de las prácticas en las que nociones como esta pueden hacerse funcionar. -/- . (shrink)

Accountability is a cornerstone of the governance of artificial intelligence (AI). However, it is often defined too imprecisely because its multifaceted nature and the sociotechnical structure of AI systems imply a variety of values, practices, and measures to which accountability in AI can refer. We address this lack of clarity by defining accountability in terms of answerability, identifying three conditions of possibility (authority recognition, interrogation, and limitation of power), and an architecture of seven features (context, range, agent, forum, standards, process, (...) and implications). We analyse this architecture through four accountability goals (compliance, report, oversight, and enforcement). We argue that these goals are often complementary and that policy-makers emphasise or prioritise some over others depending on the proactive or reactive use of accountability and the missions of AI governance. (shrink)

Este ensayo practica una hermenéutica a Totalidad e infinitoa partir de cinco epígrafes, abocados todos a explorar los múltiples sentidos de la propuesta levinasianaen torno al fundamentotrascendental de lo ético.El primer apartado busca analizar la relación entre lo que Lévinas designa como lafaz del sery el concepto de totalidad; en el epígrafe siguiente se explicita la diferencia existente, en el interior de la comprensión temporal de lo total, entre lohistóricoy loescatológico; en eltercerepígrafe se analizan los móviles que llevan a Lévinas (...) a sustituir lo metafísico por lo ético, revelando a este segundo saber como filosofíaprimera; y, finalmente, el cuarto y el quinto epígrafe quedan dedicados a entender dos conceptos que, entrelazados, condensan la matriz conceptual desde donde Lévinas acentúa la originalidad de su propuesta: el rostro del Otroy la idea de infinito. (shrink)

In this essay we will argue for the following theses: 1- know-how is not a form of practical knowledge devoid of propositional sense; 2- the relationship between each perception and the body itself is metaphysically contingent (organisms and bodies can vary, as can even the spaces they occupy in the same experience vary), 3- it is up to the brain to configure or to shape a physical body (Körper) into a living body (Leib) and not the other way around; 4- (...) phenomenal externalism of enactivist nature, even in its mild form, is empirically implausible: the correlation between the conscious character of sensory experience with spatiotemporal neuronal patterns is much more systematic and regular than with anything outside the brain. But in its radical form is entirely implausible and contra-intuitive: phenomenal duplicates are not necessarily duplicates of agency; in short, 5-we are our own brain that has a body, avatars, and artifacts, properly configured, and molded by the brain, and not a body that has a brain among other essential organs. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

In this work, we will try to state the opposition between two approaches to the problem of the overall reliability of human knowing capacities, and a possible solution to that conflict. On the one hand, as we will point out, there exist a number of approaches that fall under the broad term of “evolutionary reliabilism” and according to which the reasons that we have for believing in the reliability of human cognition are empirical in character. Namely, the adaptive success of (...) our species in a biological environment characterised by the survival of the fittest provides us with a reason to believe that our belief-forming mechanisms are truth-tracking; if they were not, we would have gone extinct. On the other hand, nevertheless, we find analyses—of which we will focus on the case of Ernest Sosa—according to which the tenet that our knowing capacities are reliable cannot be empirically based, and thus contingent; on the contrary, they point out that we need to presuppose—without need of a proof—that such capacities are trustworthy. Given this conflict between an “empirical” defence and a defence “in principle” of our knowing capacities, we will consider two possible objections against Sosa’s proposal and try to answer them. (shrink)

The EU proposal for the Artificial Intelligence Act (AIA) defines four risk categories: unacceptable, high, limited, and minimal. However, as these categories statically depend on broad fields of application of AI, the risk magnitude may be wrongly estimated, and the AIA may not be enforced effectively. This problem is particularly challenging when it comes to regulating general-purpose AI (GPAI), which has versatile and often unpredictable applications. Recent amendments to the compromise text, though introducing context-specific assessments, remain insufficient. To address this, (...) we propose applying the risk categories to specific AI scenarios, rather than solely to fields of application, using a risk assessment model that integrates the AIA with the risk approach arising from the Intergovernmental Panel on Climate Change (IPCC) and related literature. This model enables the estimation of the magnitude of AI risk by considering the interaction between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We use large language models (LLMs) as an example. (shrink)

The methodological anarchy that characterizes much recent research in artificial intelligence and other cognitive sciences has brought into existence (sometimes resumed) a large variety of entities from a correspondingly large variety of (sometimes dubious) ontological categories. Recent work in spatial representation and reasoning is particularly indicative of this trend. Our aim in this paper is to suggest some ways of reconciling such a luxurious proliferation of entities with the sheer sobriety of good philosophy.

To Wittgenstein’s late thought is often attributed a form of cultural or epistemic relativism, according to which truths are relative to the criteria of justification valid within a linguistic community. This paper aims to show that this attribution lies largely on a misinterpretation of Wittgenstein’s ideas on the relation between language-games and forms of life. In the first section are presented the grounds for some relativist readings of Wittgenstein’s thought. In the second section, through the analysis of some passages of (...) the Tractatus and On Certainty, it is argued that, although Wittgenstein insisted on the “ungroundedness” of our language-games, he did not mean that any epistemic attitude, as long as it is endorsed by a community, is as valid as any other one. Rather, it is possible to show that some games better apply to our world and appear thus as more objective, so that there can be a difference in the validity of world-picures, contrary to what the epistemic relativist holds. In the third and final section, it is claimed that the different communities that appear in Wittgenstein’s examples are not actual or existing alternative possibilities, but an imaginary anthropology that Wittgenstein uses to enlighten how we, humans, work with our language-games. So, it is not possible to attribute him the idea that different games underly different forms of life, as some relativist authors do. It is concluded that Wittgenstein was not likely to be a cultural relativist. (shrink)

The EU Artificial Intelligence Act (AIA) defines four risk categories for AI systems: unacceptable, high, limited, and minimal. However, it lacks a clear methodology for the assessment of these risks in concrete situations. Risks are broadly categorized based on the application areas of AI systems and ambiguous risk factors. This paper suggests a methodology for assessing AI risk magnitudes, focusing on the construction of real-world risk scenarios. To this scope, we propose to integrate the AIA with a framework developed by (...) the Intergovernmental Panel on Climate Change (IPCC) reports and related literature. This approach enables a nuanced analysis of AI risk by exploring the interplay between (a) risk determinants, (b) individual drivers of determinants, and (c) multiple risk types. We further refine the proposed methodology by applying a proportionality test to balance the competing values involved in AI risk assessment. Finally, we present three uses of this approach under the AIA: to implement the Regulation, to assess the significance of risks, and to develop internal risk management systems for AI deployers. (shrink)

Regulation is nothing without enforcement. This particularly holds for the dynamic field of emerging technologies. Hence, this article has two ambitions. First, it explains how the EU´s new Artificial Intelligence Act (AIA) will be implemented and enforced by various institutional bodies, thus clarifying the governance framework of the AIA. Second, it proposes a normative model of governance, providing recommendations to ensure uniform and coordinated execution of the AIA and the fulfilment of the legislation. Taken together, the article explores how the (...) AIA may be implemented by national and EU institutional bodies, encompassing longstanding bodies, such as the European Commission, and those newly established under the AIA, such as the AI Office. It investigates their roles across supranational and national levels, emphasizing how EU regulations influence institutional structures and operations. These regulations may not only directly dictate the structural design of institutions but also indirectly request administrative capacities needed to enforce the AIA. (shrink)

The idea that qualities can be had partly or to an intermediate degree is controversial among contemporary metaphysicians, but also has a considerable pedigree among philosophers and scientists. In this paper, we first aim to show that metaphysical sense can be made of this idea by proposing a partial taxonomy of metaphysical accounts of graded qualities, focusing on three particular approaches: one which explicates having a quality to a degree in terms of having a property with an in-built degree, another (...) based on the idea that instantiation admits of degrees, and a third which derives the degree to which a quality is had from the aspects of multi-dimensional properties. Our second aim is to demonstrate that the choice between these account can make a substantial metaphysical difference. To make this point, we rely on two case studies (involving quantum observables and values) in which we apply the accounts in order to model apparent cases of metaphysical gradedness. (shrink)

One might suppose that Everettian quantum mechanics (EQM) is inhospitable to metaphysial indeterminacy (MI), given that, as A. Wilson (2020) puts it, "the central idea of EQM is to replace indeterminacy with multiplicity" (77). But as Wilson goes on to suggest, the popular decoherence-based understanding of EQM (henceforth: DEQM) appears to admit of indeterminacy in both world number and world nature, where the latter indeterminacy---our focus here---is plausibly metaphysical. After a brief presentation of DEQM (S1), we bolster the case for (...) there being MI in world nature in DEQM (S2). The remainder of the paper is devoted to a comparative assessment of the two main approaches to MI for purposes of accommodating this MI---namely, a metaphysical supervaluationist approach (as per Barnes and Williams 2011) and a determinable-based approach (as per Wilson 2013 and Calosi and Wilson 2018 and 2021). We briefly describe each approach (S3), then offer arguments in favour of a determinable-based approach to world nature MI in DEQM (S4). (shrink)

This chapter explores the influence of Artificial Intelligence (AI) on digital democracy, focusing on four main areas: citizenship, participation, representation, and the public sphere. It traces the evolution from electronic to virtual and network democracy, underscoring how each stage has broadened democratic engagement through technology. Focusing on digital citizenship, the chapter examines how AI can improve online engagement while posing privacy risks and fostering identity stereotyping. Regarding political participation, it highlights AI's dual role in mobilising civic actions and spreading misinformation. (...) Regarding representation, AI's involvement in electoral processes can enhance voter registration, e-voting, and the efficiency of result tabulation but raises concerns regarding privacy and public trust. Also, AI's predictive capabilities shift the dynamics of political competition, posing ethical questions about manipulation and the legitimacy of democracy. Finally, the chapter examines how integrating AI and digital technologies can facilitate democratic political advocacy and personalised communication. However, this also comes with higher risks of misinformation and targeted propaganda. (shrink)

The article argues that AI can enhance the measurement and implementation of democratic processes within political parties, known as Intra-Party Democracy (IPD). It identifies the limitations of traditional methods for measuring IPD, which often rely on formal parameters, self-reported data, and tools like surveys. Such limitations lead to partial data collection, rare updates, and significant resource demands. To address these issues, the article suggests that specific data management and Machine Learning techniques, such as natural language processing and sentiment analysis, can (...) improve the measurement and practice of IPD. (shrink)

The advent of Generative AI, particularly through Large Language Models (LLMs) like ChatGPT and its successors, marks a paradigm shift in the AI landscape. Advanced LLMs exhibit multimodality, handling diverse data formats, thereby broadening their application scope. However, the complexity and emergent autonomy of these models introduce challenges in predictability and legal compliance. This paper analyses the legal and regulatory implications of Generative AI and LLMs in the European Union context, focusing on liability, privacy, intellectual property, and cybersecurity. It examines (...) the adequacy of the existing and proposed EU legislation, including the Artificial Intelligence Act (AIA), in addressing the challenges posed by Generative AI in general and LLMs in particular. The paper identifies potential gaps and shortcomings in the EU legislative framework and proposes recommendations to ensure the safe and compliant deployment of generative models. (shrink)

In recent years, several strategies have been proposed to tackle social controversies about topics in which science is settled, among which one of the most influential is that of Elizabeth Anderson, who argues that any lay person with access to the Internet and basic education can reliably assess the acceptability of various claims involving expert knowledge. In particular, the author shows that this procedure can be successfully applied to the case of anthropogenic global warming. In this article we will try (...) to argue why, even if we concede that Anderson's proposal is satisfactory in that particular case, it fails to generalize when applied to other controversies. In this article, we illustrate it with the cases of flat-Eartherism and anti-vaxxerism. (shrink)

Although we may find the concept of anomie in Greek thought, it is since Durkheim that the concept begins to be used specifically as a sociological concept. However, a theory of anomie only becomes consolidated since “Social Structure and Anomie” by Robert K. Merton (Merton 1938). The theory becomes important and conquers its space in the rest of the century as one of the most productive theories about deviance. In this study, based on a contemporary conception of scientific theory, that (...) of the structuralist metatheory, a reconstruction of Merton’s approach is proposed, allowing to make explicit the deep structure of the theory. (shrink)

There are two main ways in which the notion of mereological fusion is usually defined in the current literature in mereology which have been labelled ‘Leśniewski fusion’ and ‘Goodman fusion’. It is well-known that, with Minimal Mereology as the background theory, every Leśniewski fusion also qualifies as a Goodman fusion. However, the converse does not hold unless stronger mereological principles are assumed. In this paper I will discuss how the gap between the two notions can be filled, focussing in particular (...) on two specific sets of principles that appear to be of particular philosophical interest. The first way to make the two notions equivalent can be used to shed some interesting light on the kind of intuition both notions seem to articulate. The second shows the importance of a little-known mereological principle which I will call ‘Mild Supplementation’. As I will show, the mereology obtained by adding Mild Supplementation to Minimal Mereology occupies an interesting position in the landscape of theories that are stronger than Minimal Mereology but weaker than what Achille Varzi and Roberto Casati have labelled ‘Extensional Mereology’. (shrink)

How to achieve responsibility through philosophical dialogue? This is indeed a core issue of today's democracy. In this regard, education plays an important role.

We put forward a new, ‘coherentist’ account of quantum entanglement, according to which entangled systems are characterized by symmetric relations of ontological dependence among the component particles. We compare this coherentist viewpoint with the two most popular alternatives currently on offer—structuralism and holism—and argue that it is essentially different from, and preferable to, both. In the course of this article, we point out how coherentism might be extended beyond the case of entanglement and further articulated.

El objetivo de este artículo es presentar una reconstrucción de la teoría de los grupos dereferencia. La teoría, desarrollada por Robert K. Merton, ha sido largamente utilizada enlos más variados campos de las ciencias sociales, aunque con escasa o nula consideraciónmetateórica hasta ahora. La reconstrucción atenderá a la presentación que de la misma serecoge en sendos artículos de su libro Social Theory and Social Structure, de 1968, a saber:“Contributions to the theory of reference group behavior” y “Continuities in the theory (...) ofreference groups and social structure”. Para presentar esta reconstrucción me apoyaré en elinstrumental de la Metateoría Estructuralista. Después de una consideración informal de lateoría, serán presentados sus modelos potenciales, modelos, modelos potenciales parciales,sus aplicaciones intencionales y algunos comentarios acerca de la noción de “grupo de referencia”en lo que respeta su carácter relacional y disposicional. (shrink)

It does not seem particularly daring to say that one objective of science education is to enable students to understand different phenomena in the world in their mutual relationship. This is roughly equivalent to promoting knowledge of scientific explanations, which involve resorting to regular relationships between certain phenomena and which, certainly, is different from knowledge of this or that type of event taken in isolation. In this text, we will draw attention to two opposing tendencies that, however, tend towards the (...) common result of hindering the achievement of such an objective. On the one hand, we find characterizations of scientific explanation that assimilate it to argumentation and, therefore, lose sight of what specifically makes explanations explanatory; that is, they ask too little of a scientific explanation. On the other hand, those that consider paradigmatic cases of scientific explanation −such as those achieved by subsuming phenomena such as tides to Newton's laws− do not really constitute explanations but merely descriptions; it is about asking too much of an explanation here. We will therefore point out that a greater attention to the elaborations provided by the philosophy of science about the notion of explanation is crucial to better serve educational purposes. (shrink)

Gödel’s philosophical conceptions bear striking similarities to Cantor’s. Although there is no conclusive evidence that Gödel deliberately used or adhered to Cantor’s views, one can successfully reconstruct and see his “Cantorianism” at work in many parts of his thought. In this paper, I aim to describe the most prominent conceptual intersections between Cantor’s and Gödel’s thought, particularly on such matters as the nature and existence of mathematical entities (sets), concepts, Platonism, the Absolute Infinite, the progress and inexhaustibility of mathematics.

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

This brief paper is devoted to criticizing the widespread reading of Kant’s first Critique, according to which reference to subject-independent objects is “constituted” by higher-order cognitive abilities (concepts). Let us call this the “constitutional view.” In this paper, I argue that the constitutional reading confuses the un-Kantian problem of how we come to represent objects (which I call the intentionality thesis), with the quite different problem of how we cognize (erkennen) (which I call the “cognition thesis”) that we do represent (...) objects, that is, things that exist independently of the subject. (shrink)

In this paper, I intend to show that it’s a serious mistake to construe the role of sensible representation in Kant’s work as a nonconceptual content (in the contemporary and technical sense of “content”), which, like a mental indexical would refer to what appears in space and time in the so-called de re form. The interpretation I advance and further support is this: without possessing a representational content, sensible representation must be understood as the basic epistemic relation between the subject (...) and the physical entities in space and time she is acquainted with. Immediate reference of sensible intuition to their respective objects is to be understood as a form of knowledge by acquaintance. I call my own interpretation relationalism. (shrink)

Relevant logics provide an alternative to classical implication that is capable of accounting for the relationship between the antecedent and the consequence of a valid implication. Relevant implication is usually explained in terms of information required to assess a proposition. By doing so, relevant implication introduces a number of cognitively relevant aspects in the de nition of logical operators. In this paper, we aim to take a closer look at the cognitive feature of relevant implication. For this purpose, we develop (...) a cognitively-oriented interpretation of the semantics of relevant logics. In particular, we provide an interpretation of Routley-Meyer semantics in terms of conceptual spaces and we show that it meets the constraints of the algebraic semantics of relevant logic. (shrink)

Cancel culture is a form of societal self-defense that becomes prominent particularly during periods of substantial moral upheaval. It can lead to the polarization of incompatible viewpoints if it is indiscriminately demonized. In this brief editorial letter, I consider framing cancel culture as an essentially contested concept (ECC), according to the theory of Walter B. Gallie, with the aim of establishing a groundwork for a more productive discourse on it. In particular, I propose that intermediate agreements and principles of reasonableness (...) can help refocus the debate on cancel culture towards democratic discourse, without blanket justification for every instance. In this context, asserting that cancel culture is an ECC does not dismiss the potential of achieving consensus on its shared core meaning or societal role. Like other similar ECCs, such as democracy or rule of law, it highlights the importance of contestations in shaping our collective understanding of the concept. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

In this paper I will present three arguments (based on the notions of constitution, metaphysical reality, and truth, respectively) with the aim of shedding some new light on the structure of Fine’s (2005, 2006) ‘McTaggartian’ arguments against the reality of tense. Along the way, I will also (i) draw a novel map of the main realist positions about tense, (ii) unearth a previously unnoticed but potentially interesting form of external relativism (which I will label ‘hyper-presentism’) and (iii) sketch a novel (...) interpretation of Fine’s fragmentalism (which I contrast with Lipman’s 2015, 2016b, forthcoming). (shrink)

Axiom weakening is a technique that allows for a fine-grained repair of inconsistent ontologies. Its main advantage is that it repairs on- tologies by making axioms less restrictive rather than by deleting them, employing the use of refinement operators. In this paper, we build on pre- viously introduced axiom weakening for ALC, and make it much more irresistible by extending its definitions to deal with SROIQ, the expressive and decidable description logic underlying OWL 2 DL. We extend the definitions of (...) refinement operator to deal with SROIQ constructs, in particular with role hierarchies, cardinality constraints and nominals, and illustrate its application. Finally, we discuss the problem of termi- nation of an iterated weakening procedure. (shrink)

What are the relationships between an entity and the space at which it is located? And between a region of space and the events that take place there? What is the metaphysical structure of localization? What its modal status? This paper addresses some of these questions in an attempt to work out at least the main coordinates of the logical structure of localization. Our task is mostly taxonomic. But we also highlight some of the underlying structural features and we single (...) out the interactions between the notion of localization and nearby notions, such as the notions of part and whole, or of necessity and possibility. A theory of localization—we argue—is needed in order to account for the basic relations between objects and space, and runs afoul a pure part-whole theory. We also provide an axiomatization of the relation of localization and examine cases of localization involving entities different from material objects. (shrink)

Grounding contingentism is the doctrine according to which grounds are not guaranteed to necessitate what they ground. In this paper I will argue that the most plausible version of contingentism is incompatible with the idea that the grounding relation is transitive, unless either ‘priority monism’ or ‘contrastivism’ are assumed.

An enquiry into the relevance of Hans Jonas' thinking to present-day debates, including transhumanism, posthumanism, and human enhancement.

What is the relation between parts taken together and the whole that they compose? The recent literature appears to be dominated by two different answers to this question, which are normally thought of as being incompatible. According to the first, parts taken together are identical to the whole that they compose. According to the second, the whole is grounded in its parts. The aim of this paper is to make some theoretical room for the view according to which parts ground (...) the whole they compose while being, at the same time, identical to it. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

This article discusses Rik Peels's response to Williams's argument against voluntary belief. Williams argues that voluntary beliefs must be acquired independently of truth-considerations, so they cannot count as beliefs after all, since beliefs aim at truth. Peels attempted to reply by showing that in cases of self-fulfilling beliefs, a belief can indeed be voluntarily acquired in conditions which retain the necessary truth-orientation. But even if we make two crucial concessions to Peels’s proposal, his argument ultimately fails. The first concession is (...) that beliefs can be weakly voluntary-namely, we can acquire them at will though we do not preserve them at will but on the basis of evidence. Conceding this, however, only lands us in the “acquisition problem”: how a belief can be acquired qua belief when we still do not think we have justification for it. This leads us to the second concession: that knowing in advance that a certain belief is self-fulfilling provides us with such a justification. However, this concession lands us in the ultimate obstacle: that, precisely because such a justification is available both before and at the moment of forming the belief, the cognitive perspective of the subject is identical at both moments, which obscures what it even means to say that at a certain moment she started to have a belief. (shrink)

Fragmentalism was originally introduced as a new A-theory of time. It was further refined and discussed, and different developments of the original insight have been proposed. In a celebrated paper, Jonathan Simon contends that fragmentalism delivers a new realist account of the quantum state—which he calls conservative realism—according to which: the quantum state is a complete description of a physical system, the quantum state is grounded in its terms, and the superposition terms are themselves grounded in local goings-on about the (...) system in question. We will argue that fragmentalism, at least along the lines proposed by Simon, does not offer a new, satisfactory realistic account of the quantum state. This raises the question about whether there are some other viable forms of quantum fragmentalism. (shrink)

ABSTRACT The philosophical tradition approaches to morals have their grounds predominantly on metaphysical and theological concepts and theories. Among the traditional ethics concepts, the most prominent is the Divine Command Theory (DCT). As per the DCT, God gives moral foundations to the humankind by its creation and through Revelation. Morality and Divinity are inseparable since the most remote civilization. These concepts submerge in a theological framework and are largely accepted by most followers of the three Abrahamic traditions: Judaism, Christianity, and (...) Islam: the greatest part of the human population. Holding faith and Revelation for its grounds, the Divine Command Theories are not strictly subject to the demonstration. The opponents to the Divine Command conception of morals, grounded in the impossibility of demonstration of its metaphysical and religious assumptions, have tried for many centuries (albeit unsuccessfully) to devalue its importance. They held the argument that it does not show material evidence and logical coherence and, for this reason, cannot be taken into account for scientific nor philosophical purposes. It is just a belief and, as so, should be understood. Besides these extreme oppositions, many other concepts contravene the Divine Command theories, in one or another way, in part or in full. Many philosophers and social scientists, from the classic Greek philosophy up to the present date, for instance, sustain that morality is only a construct, and thus culturally relative and culturally determined. However, this brings many other discussions and imposes the challenge to determine what is the meaning of culture, which elements of culture are morally determinant, and finally, what are the boundaries of such relativity. Moral determinists claim that everything related to human behavior, including morality, is determined, once free will does not exist. More recently, modern thinkers argued that there is a strict science of morality. However, the scientific method alone, despite explaining several facts and evidence, cannot enlighten the entire content and full meaning of ethics. Morals’ understanding requires a broader perception, and an agreement among philosophers, which they have never achieved. All of these questions have many different configurations depending on each philosophical strand, and start complex analysis and endless debates, as long as many of them are reciprocally conflictive. The universe and the atmosphere involving this thesis are the dominions of all these conceptual conflicts, observed from an objective and evolutionary standpoint. Irrespective of this circumstance and its intrinsic importance, however, these questions are far distant from the methodological approach of an analytical discussion on objective morals, what is, indeed, the aim and scope of this work. We should briefly revisit these prominent traditional theories because this thesis shelters a comparative study, and its assumptions at least differ profoundly from all traditional theories. Therefore, it becomes necessary offering direct and specific elements of comparison to the reader, for the right criticism, dispensing interruptive researches. However, even revisiting the traditional theories, for this comparative and critical exposure purpose, they will be kept by the side of our main concerns, as “aliena materia.” Irrespective of the validity of any or all of the elements of this discussion, and their meaning as the philosophical universe of this thesis, the purpose of this work is demonstrating and justifying the existence and meaning of prehistoric moral archetypes arisen directly from the very first social needs and efforts for survival. These archetypes are the definition of the essential foundation of ethics, its aggregation to the collective unconscious and corresponding logic organization and transmission to evolutionary stages of the human genome and different relations space-time, irrespective of any contemporary experience of the individuals. The system defined by these archetypes composes an evolutionary human social model. Is this a metaethical position? Yes, it is. Moreover, as in any metaethical reasoning, we should look carefully for the best and coherent routes, as the Analytical Philosophy offers them. Thus, this work should reasonably demonstrate that morals are not a cultural product of the civilized men or modern societies and that despite being subject to several cultural relative aggregations and subtractions, its essential foundations are archetypal and have never structurally changed. This reasoning induces that morality is an original attribute of the “homo sapiens”; it is not a property and nor an accident: it integrates the human essence and belongs to the realm of the ontological human identity. The human phenomena is a continuing process, playing its role between random determination and free will, and we need to question how morality began and how did it come to us in the present. (shrink)

W dziełach Arystotelesa, lub z medievals, jak również w pismach późniejszych zdroworozsądkowe filozofów, takich jak Thomas Reid czy GE Moore’a, możemy znaleźć rodzinę różnych prób uporania się ze strukturami rozsądku i wspólnego -sense świat, który jest nam dany w normalnym, doświadczenie pre-teoretycznym. Będziemy argumentować, co wynika, że ​​teoria takich struktur stanowi ważny i dotychczas niedoceniany związek między wczesnym psychologii Gestalt z jednej strony, oraz współczesnych osiągnięć w filozofii i sztucznej inteligencji badań na innych.

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)